Computable model theory - PDFSEARCH.IO - Document Search Engine

Computable model theory
Results: 195

#	Item
41	TITLE: CONSUMPTION PATTERNS AND GHG EMISSIONS: A COMPUTABLE GENERAL EQUILIBRIUM ANALYSIS FOR SPAIN. AUTHORS: Mainar Causapé, Alfredo J. ; DUARTE PAC, ROSA Add to Reading List Source URL: www.iioa.org Language: English - Date: 2009-10-17 09:31:04 Economics General equilibrium theory Economic model Macroeconomic model Greenhouse gas Climatology Carbon finance Macroeconomics Computable general equilibrium Social accounting matrix
42	TITLE: DISTORTIONARY EFFECTS OF ENVIRONMENTAL TAXES IN A REGIONAL ECONOMY: AN AGE MODEL THE ANDALUSIAN ECONOMY AUTHORS: CARDENETE, ALEJANDRO ; POLO, CLEMENTE; Fuentes Saguar, Patricia D. Add to Reading List Source URL: www.iioa.org Language: English - Date: 2009-10-17 09:33:44 Macroeconomics Environmental economics Environmental law Mathematical economics Computable general equilibrium Applied general equilibrium General equilibrium theory Economic model Tax Economics Taxation Public finance
43	ASIA-PACIFIC RESEARCH AND TRAINING NETWORK ON TRADE EVIDENCE-BASED POLICYMAKING Training on Evidence-based Policymaking in Trade and Investment Evidence-based policymaking (EBPM) means using high-quality quantitative an Add to Reading List Source URL: artnet.unescap.org Language: English - Date: 2015-05-08 02:33:17 Computable general equilibrium Economic model Asia-Pacific Research and Training Network on Trade Macroeconomic model General equilibrium theory Social accounting matrix International trade Gravity model of trade Economics Macroeconomics International economics
44	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
45	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:28:46 Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic Theoretical computer science Logic
46	Annex CGE model technical overview JFF Add to Reading List Source URL: www.djei.ie Language: English - Date: 2015-03-27 13:36:16 Demand Elasticity Computable general equilibrium Price elasticity of demand Production function Output Economics Consumer theory Microeconomics
47	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
48	12 Modeling Small Area Economic Change in Conjunction with a Multiregional CGE Model. Ian Sue Wing Add to Reading List Source URL: people.bu.edu Language: English - Date: 2006-10-13 06:20:14 Economic model Aggregate demand General equilibrium theory Multiplier Supply and demand Neoclassical growth model Labour economics Social accounting matrix AD-AS model Macroeconomics Economics Computable general equilibrium
49	Microsoft Word - paper_conf_final_291004.DOC Add to Reading List Source URL: www.iioa.org Language: English - Date: 2007-10-09 05:40:38 Economic theories Computable general equilibrium Unemployment Labour economics General equilibrium theory Efficiency wage Macroeconomic model Distribution Economic model Economics Labor economics Macroeconomics
50	Microsoft Word - BeijingPaper1.doc Add to Reading List Source URL: www.iioa.org Language: English - Date: 2007-10-09 05:37:49 Mathematical economics Microeconomics General equilibrium theory Economic model Constant elasticity of substitution Welfare economics Perfect competition Elasticity Factor payments Economics Consumer theory Computable general equilibrium